CSE 513 Theories of Machine Learning and Artificial Intelligence Logic and Knowledge Representation Computational Complexity Learning Theory Proof Systems Reduction